Erratum to A framed temporal logic programming language
نویسندگان
چکیده
منابع مشابه
Framed temporal logic programming
A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, canonical models – used to define the semantics of non-framed programs – are no longer appropriate....
متن کاملLinear and Temporal Logic Programming Language
Recent logic calculi open new possibilities for logic programming. Apparently the most important of them is a linear logic which makes possible to solve problems by resources treatment. The linear logic has already been used for several proposals of logic programming language. But authors of these languages mostly focused on the proposal of language and somewhat turned aside its efficient imple...
متن کاملTemporal Annotations for a Contextual Logic Programming Language
In this paper we propose the combination of modularity and temporal reasoning using logic programming as common ground. Moreover, we consider that the usage of a given module is influenced by temporal constraints, i.e. modularity and temporal reasoning are strongly connected. Besides illustrative examples, we also present the operational semantics and corresponding compiler for this language.
متن کاملLaPeL: a Logic Programming Language
Where ~t is a sequence of terms, ~x is a sequence of variables, and ~a is a sequence of assumptions. In the assumptions we write implication in the opposite direction than we normally do (i.e., “p(~t ) ⊂ g” rather than “g ⊃ p(~t )”). This is a standard convention in logic programming (e.g., Prolog) because it makes it easier for the programmer to understand the program; the meaning of implicati...
متن کاملA Fuzzy Logic Programming Language
We present a new fuzzy logic programming Language, called LIKELOG, to be used for approximated reat;oning and for fuzzy deductive database applications. The core component of the system is the algori thm of unification, which expands the Martelli-Montanari unification algorithm introducing two similarity relations. The resolution mechanism is a straightforward application of this kind of expand...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer Science and Technology
سال: 2004
ISSN: 1000-9000,1860-4749
DOI: 10.1007/bf02973464